Вычислимые однозначные нумерации
Вычислимые структурные и антиструктурные теоремы.
Группы автоморфизмов вычислимо перечислимых предикатов.
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Две теоремы о вычислимых нумерациях
Дискретные семейства рекурсивных функций и индексные множества
Еще раз о вопросе Хигмана
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях
Иерархии абелевых групп без кручения.
Индексные множества фактор-объектов нумерации Поста
Конструктивизируемость булевых алгебр элементарной характеристики .
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Конструктивные однородные расширения.
Критерий конструктивизируемости абелевой группы.
Локальные классы и вычислимые индексации
Минимальные нумерации позитивно вычислимых семейств
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
Начальные сегменты в полурешетках Роджерса -вычислимых нумераций
Неконструктивизируемость некоторых упорядоченных полей вещественных чисел.
Необходимые условия изоморфизма полурешеток Роджерса конечных частично упорядоченных множеств